Variations sur un thème de H. Poincaré

Variations sur un THème de Aldama et Shelah

We study the definability of certain subgroups of a group G that does not have the independence property. If a (type) definable subset X of an elementary extension G of G has property P , we call its trace X∩G over G an externally (type) definable P set. We show the following. Centralisers of subsets of G are externally definable subgroups. Cores of externally definable subgroups and iterated c...

Un ordonnancement dynamique de tâches stochastiques sur un seul processeur

We show that a particular dynamic priority given to jobs in a multitasks operating system of computers is a deteriorating jobs or a delaying jobs scheduling. Under some assumptions we also show that it is an index rule. To do this, we present the tool of bandit processes to solve stochastic scheduling problems on a single machine. Résumé. Nous montrons qu’une priorité dynamique particulière all...

Un schéma d’interpolation rationnel sur un quadrilatère de classe C2

Let Q be a partition of a polygonal domain of the plan into convexe quadrilatéral. Given a regular function ƒ , we construct a function Hf G C(H), interpolating position values and derivatives of ƒ up of order 2 at vertices of Q. On each quadrilatéral Q G Q, Tlf\Q is a flnite element obtained from a polynomial scheme of FVS type by adding some rational functions. Résumé. Soit Q une partition en...

Un environnement de conception de systèmes distribués basé sur UML

This paper introduces a new environment for developing distributed systems. It is based on the TURTLE UML profile. Analysis and design phases, described in previous papers, have been extended with an additional deployment phase. In this new step, TURTLE components are deployed over hardware execution nodes, and nodes are connected together throughout links. TURTLE deployment diagrams are given ...

Un système de détection de thématiques populaires sur Twitter